Solving Packing Problem with Weaker Block Solvers
نویسنده
چکیده
We study the general packing problem with M constraints. In [Jansen and Zhang, TCS 2002] a c(1 + ε)-approximation algorithm for the general packing problem was proposed. A block solver ABS(p, ε/6, c) with price vector p, given accuracy ε and ratio c is required. In addition, in [Villavicencio and Grigoriadis, Network Optimization (1997)] a (1 + ε)approximation algorithm for standard packing problem and its dual problem was studied, with a block solver ABS(p, ε/10) (i.e., c = 1). In this paper we develop c(1+ε)-approximation algorithms for the general packing problem (or with its dual problem), with only weaker block solvers ABS(p,O(ε′), c) with same structure as in previous algorithms, where ε′ > ε. For both primal and dual problems we design an algorithm with an ABS(p, ε1/10, c) and ε1 > ε. The bound on the number of iterations is polynomial in M , ε and c. Furthermore we show an algorithm for the primal problem with an ABS(p, ε3/6, c) and ε3 > ε. And the bound on the number of iterations is polynomial in only M and ε. In both cases running times are further improved with corresponding weaker block solvers. This is the first attempt to solve the packing problem with weaker block solvers.
منابع مشابه
Exploiting Packing Components in General-Purpose Integer Programming Solvers
The problem of packing boxes into a large box is often a part of a larger problem. For example in furniture supply chain applications, one needs to decide what trucks to use to transport furniture between production sites and distribution centers and stores, such that the furniture fits inside. Such problems are often formulated and sometimes solved using generalpurpose integer programming solv...
متن کاملFrom High-Level Model to Branch-and-Price Solution in G12
The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combination of solving methods. Model annotations are used to control this process. In this paper we explain the mapping to branch-and-price solving. G12 supports the selection of specialised sub-problem solvers, the aggregation of iden...
متن کاملA Novel Greedy Computing Algorithm for Rectangle Packing Problems
Rectangle packing problem often appears in encasement and cutting as well as layout of homepage or newspaper, etc. This problem has been shown to be NP hard. For solving this problem, many compute algorithms based on different strategies are presented in the literatures. A novel-computing algorithm is proposed in this paper. The novel match algorithm tested the instances that taken from the lit...
متن کاملFormalization of Abstract State Transition Systems for SAT
We present a formalization of modern SAT solvers and their properties in a form of abstract state transition systems. SAT solving procedures are described as transition relations over states that represent the values of the solver’s global variables. Several different SAT solvers are formalized, including both the classical DPLL procedure and its state-of-the-art successors. The formalization i...
متن کاملPreconditioners for Saddle Point Problems on Truncated Domains in Phase Separation Modelling
The discretization of Cahn-Hilliard equation with obstacle potential leads to a block 2ˆ2 non-linear system, where the p1, 1q block has a non-linear and non-smooth term. Recently a globally convergent Newton Schur method was proposed for the non-linear Schur complement corresponding to this non-linear system. The solver may be seen as an inexact Uzawa method which has the falvour of an active s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004